Словарь по логике - переменная

а) П. величина, которая может принимать в процессе своего изменения различные значения; б) неопределенное имя предмета из некоторой области значений этой П., вместо которого могут подставляться имена предметов этой области. П. величина характеризуется тем, что относит к значениям одной (независимой) П. величины значения другой П. величины, зависящей от первой (см.: Функция). С такими П. величинами мы встречаемся в формулах математики (напр., у=х2), физики (f = т*а) и др. В логике и математике мы встречаемся и с понятием П. в смысле (б). В этих случаях П. играет роль неопределенного (родового) имени, буквы, вместо которых производится соответствующая подстановка. Иногда говорят, что в таких случаях П. есть "пустое место" в формуле, снабженное указанием, какого рода конкретные предметы (точнее их имена) могут быть подставлены на это пустое место. Так, в выражении (х у)2=х2 2ху у2 П. х и у выполняют роль таких П., вместо которых можно подставлять различные числа. Идея зависимости между П. здесь отсутствует. Аналогично в формуле х>у, выражающей в логике пропозициональную функцию, П. х и у используются в значении (б), а именно как "пустые места".